Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
131	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and Add to Reading List Source URL: www.brics.dk - Date: 2000-05-31 07:31:11
132	April 6, 2010 — final version for proceedings of CiE’10 What is the Problem with Proof Nets for Classical Logic ? Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2010-06-19 08:38:24
133	Under consideration for publication in Math. Struct. in Comp. Science Classical Linear Logic of Implications MASAHITO HASEGAWA Research Institute for Mathematical Sciences, Kyoto University, KyotoJapan and Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp - Date: 2004-09-14 01:29:11
134	Towards a Theory of Proofs of Classical Logic ` diriger des recherches Habilitation a Universit´e Denis Diderot – Paris 7 Add to Reading List Source URL: www.lix.polytechnique.fr Language: French - Date: 2010-12-06 10:05:17
135	On the definition of the classical connectives and quantifiers Gilles Dowek∗ Abstract Classical logic is embedded into constructive logic, through a definition Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-02-05 02:14:49
136	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 22:23:18
137	Confluent and Natural Cut Elimination in Classical Logic The experiments method. Take a proof φ of the propositional formula A. Trace all the atom occurrences in the proof (atomic flows are convenient for this). For eve Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2015-04-22 08:16:55
138	Towards a Theory of Proofs of Classical Logic ` diriger des recherches Habilitation a Universit´e Denis Diderot – Paris 7 Add to Reading List Source URL: www.lix.polytechnique.fr Language: French - Date: 2010-12-06 10:05:17
139	Workshop on “Classical Logic and Computation” — July 15, 2006 — Venice, Italy What could a Boolean category be? Lutz Straßburger INRIA Futurs, Projet Parsifal ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2006-06-21 06:17:28
140	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17

UPDATE